Leslie Lamport
| Leslie Lamport | ||
|---|---|---|
 | ||
| Información personal | ||
| Nacimiento |
7 de febrero de 1941 (83 años) Nueva York (Estados Unidos) | |
| Nacionalidad | Estadounidense | |
| Lengua materna | Inglés | |
| Educación | ||
| Educación | Maestría en ciencias y doctor en Filosofía | |
| Educado en |
| |
| Supervisor doctoral | Richard Palais | |
| Información profesional | ||
| Ocupación | Matemático, informático teórico, programador, ingeniero y escritor | |
| Área | Ciencias de la computación y computación distribuida | |
| Conocido por |
| |
| Empleador |
| |
| Obras notables |
| |
| Miembro de | ||
| Sitio web | www.lamport.org | |
| Distinciones |
| |
Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense. Es especialmente conocido por sus trabajos en sistemas distribuidos y por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX.[1] Fue ganador del Premio Turing de 2013 por sus trabajos para imponer coherencia sobre el aparente comportamiento caótico de los sistemas distribuidos, en los cuales varios ordenadores se comunican mediante un mecanismo de paso de mensajes. En su trabajo ha diseñado algoritmos, modelos formales y protocolos de verificación que mejoran la corrección, eficiencia y seguridad de dichos sistemas distribuidos.[2][3][4]
Educación
[editar]Leslie Lamport se licenció en matemáticas en 1960 en el MIT (Massachusetts Institute of Technology). También cursó un máster (1963) y un doctorado (1972) en la Universidad de Brandeis, ambos en matemáticas.[5][6]
Carrera profesional
[editar]Lamport ha trabajado como científico en Massachusetts Computer Associates entre 1970 y 1977, SRI International entre 1977 y 1985, y Digital Equipment Corporation y Compaq entre 1985 y 2001. Entre 2001 y la actualidad trabaja en Microsoft Research.[5]
En el campo de las ciencias de la computación, Lamport es reconocido por su trabajo en algorítmica distribuida y en lógica temporal, en la cual introdujo la lógica de acciones temporal (Temporal Logic of Actions, TLA). Formuló la relación «happened before» (‘ocurrido antes’), importante en relojes lógicos de sistemas distribuidos, ya que permite obtener una ordenación parcial, con la que obtiene en el año 2000 el Premio Dijkstra. También introdujo el algoritmo de la panadería de Lamport para exclusión mutua de múltiples hilos en un computador que requieren los mismos recursos al mismo tiempo.[5]
Aportaciones
[editar]Las aportaciones más importantes de Leslie Lamport son las siguientes:
LaTeX: LaTeX es un sistema de composición de textos, orientado a la creación de documentos escritos que presenten una alta calidad tipográfica. Es usado de forma especialmente intensa en la generación de artículos y libros científicos que incluyen, entre otros elementos, expresiones matemáticas.
Algoritmo de la panadería: el Algoritmo de la panadería de Lamport, es un algoritmo de computación creado para implementar la exclusión mutua de N procesos o hilos de ejecución.
Algoritmo de Chandy-Lamport: el Algoritmo de Chandy-Lamport, es un algoritmo de instantáneas utilizado en sistemas distribuidos para registrar un estado global consistente de un sistema.
Firma de Lamport-Diffie: la Firma de Lamport-Diffie es un esquema de firma digital con un par de claves de un solo uso. Esta firma se aplica sobre mensajes sin efectuar ninguna modificación previa de ellos.
Tiempos Lógicos de Lamport: el algoritmo de los Tiempos Lógicos de Lamport, es un algoritmo simple utilizado para determinar el orden de los eventos en un Sistema Distribuido. Se usa para proporcionar una ordenación parcial de eventos debido a la ausencia de una perfecta sincronización entre los diferentes nodos o procesos. Proporcionan el punto de partida para el algoritmo de reloj vectorial.
Algoritmo de Paxos: el Algoritmo de Paxos, es un algoritmo para llegar a consensos en sistemas distribuidos con cierto grado de tolerancia a fallos. Se define un consenso como el proceso de acordar un resultado entre un grupo de participantes.
Referencias
[editar]- ↑ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Consultado el 2 de febrero de 2007.
- ↑ Leslie Lamport fue ganador del Premio Turing de 2013
- ↑ Lamport, L. (1978). «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM 21 (7): 558-565. doi:10.1145/359545.359563.
- ↑ Microsoft Academic Search - 1817419
- ↑ a b c Lamport, Leslie (19 de diciembre de 2006). «My Writings». Consultado el 26 de marzo de 2014.
- ↑ Lamport, Leslie (1972). The Analytic Cauchy Problem with Singular Data. Consultado el 26 de marzo de 2014.
Enlaces externos
[editar]
Wikimedia Commons alberga una galería multimedia sobre Leslie Lamport.- Página web de Leslie Lamport
- Página web de Microsoft Research
| Predecesor: Silvio Micali, Shafi Goldwasser |
Premio Turing 2013 |
Sucesor: Michael Stonebraker |
| Control de autoridades |
|
|---|
Datos: Q92613- Multimedia: Leslie Lamport / Q92613